41. A course on foundations of nonstandard analysis

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical

رده :
QA
299
.
82
.
K2
1994

42. A course on foundations of nonstandard analysis

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical

رده :
QA
299
.
82
.
K36
1994

43. A course on mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem

رده :
QA
9
.
S684C6
2013

44. A course on mathematical logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

45. A course on mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
S684C6

46. A course on mathematical logic

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical

رده :
QA9
.
S65
2013

47. A first course in logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع : Logic,symbolic and mathematical

رده :
511
.
3
H452f

48. A first course in logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.

رده :
QA9
.
L37256
2018eb

49. A first course in logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Logic,Logic -- Symbolic and mathematical

رده :
QA
.
H36
9
2004

50. A first course in logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;

51. A first course in logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic. ; Logic, Symbolic and mathematical. ;

52. A first course in logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Logic,Logic, Symbolic and mathematical

رده :
QA9
.
H36
2004

53. A first course in logic :an introduction to model theory, proof theory, computability, and complexity

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Logic,، Logic, Symbolic and mathematical

رده :
QA9
.
H36
2004

54. A first course in logic : an introduction to model theory, proof theory, computability, and complexity

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic,، Logic, Symbolic and mathematical

رده :
QA
9
.
H43F5

55. A first course in mathematical logic and set theory /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics,Set theory

رده :
QA9

56. A first journey through logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik

رده :
QA9
.
H52445
2019

57. A formalization of set theory without variables

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical

رده :
QA
248
.
T37
1987

58. A formalization of set theory without variables

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,، Logic, Symbolic and mathematical

رده :
QA
248
.
T37
1987

59. A formalization of set theory without variables

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
248
.
T37

60. A formalization of set theory without variables

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical

رده :
QA
248
.
T37